Igor Siveroni: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 297 KB

english, 2006

2

A UML-based static verification framework for security

Igor Siveroni, Andrea Zisman, George Spanoudakis

Journal:

Requirements Engineering

Year:

2010

Language:

english

File:

PDF, 2.17 MB

english, 2010

3

Towards Verification of Well-Formed Transactions in Java Card Bytecode

René Rydhof Hansen, Igor A. Siveroni

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 337 KB

english, 2005

4

Operational semantics of the Java Card Virtual Machine

Igor A. Siveroni

Journal:

The Journal of Logic and Algebraic Programming

Year:

2004

Language:

english

File:

PDF, 1.33 MB

english, 2004

5

Tempus fugit: How to plug it

Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 286 KB

english, 2007

6

Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation

Zisman, Andrea, Spanoudakis, George, Dooley, James, Siveroni, Igor

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 427 KB

english, 2013

7

[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Property Specification and Static Verification of UML Models

Siveroni, Igor, Zisman, Andrea, Spanoudakis, George

Year:

2008

Language:

english

File:

PDF, 371 KB

english, 2008

8

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - Constraint systems for useless variable elimination

Wand, Mitchell, Siveroni, Igor

Year:

1999

Language:

english

File:

PDF, 1.15 MB

english, 1999

9

Bayesian phylodynamic inference with complex models

Volz, Erik M., Siveroni, Igor, Darling, Aaron E.

Journal:

PLoS Computational Biology

Year:

2018

Language:

english

File:

PDF, 1.61 MB

english, 2018